Rafael Fernández

Hello folks! 👋

Rafael Fernández

Software Engineer @ Stratio with knowledge of formal methods in software engineering, mathematics, and functional programming.

I consider myself a restless and self-demanding person. That's why I have maintained constant growth throughout my career.

Passionate about algebra 📜, traveling ✈️, and video games 🕹️.

Download CV

About Me

I have a degree in Mathematics with a specialization in Algebra and a Master’s in Formal Methods in Computer Science. I’m a passionate developer with a real passion for Scala and functional programming. I’m an expert at creating clean, efficient, and scalable code that’s driven by the principles of mathematics and logic.

I’m a driven and self-motivated individual who constantly seeks growth through ongoing training and specialization. This mindset has enabled me to develop and publish several personal projects on my GitHub repository.

When I’m not coding, I love traveling and exploring new cultures and landscapes. I have a real appreciation for art, and I find creativity in all kinds of forms, whether it’s through paintings, sculptures, or digital media. I’m also a big fan of arcade video games, where I enjoy the thrill of classic gaming experiences and its music.

In my professional journey, I’m always eager to take on new challenges that push the boundaries of my knowledge and skills, and I’m continuously striving for excellence in everything I do.

Education

Formal Methods in Computer Science

Complutense University of Madrid

The aim of this degree is to be able to tackle complex computing problems such as establishing code correctness, using rigorous mathematical tools. Our approach provides an efficient and automatic generation of input test values that follows the Haskell formal syntax, precisely, a syntax-translation mechanism guided by the type declaration.

Thesis.- Type-Based Test Generation for Haskell using Constraint Logic Programming. Haskell, Scala, Prolog, Property-Based Testing.

Mathematics

University of Málaga

Developing a deep understanding of abstract mathematical concepts, specializing in advanced algebra, including fields, category theory, and algebraic structures, while enhancing critical thinking and formalizing complex problems.

Thesis.- Braids and cryptography. Python, SageMath

Experience

Software Engineer

Madrid

Building and enhancing core components of Stratio software platform.

Observation.- This role requires deep expertise in Scala, strong software engineering principles, and a solid understanding of distributed systems and API design. You'll collaborate closely with other engineers, architects, and product teams to build scalable, high-performance platform solutions.

Scala Developer & Big Data Engineer

Madrid

Development of a Big Data ETL engine capable of executing parameterized ETL processes based on predefined rules and operations

Observation.- This role required advanced expertise in Spark Performance Tuning and optimization techniques to achieve high-performance data processing.

Scala Developer

Madrid

Development and integration of an API for forecasting algorithms and data management for the prediction of different KPIs in 3G and 4G communication technologies.

Observation.- Priority was given to optimisation, benchmarking and parallelisation times to obtain results quickly and efficiently.

Scala Developer & Big Data Engineer

Madrid

Development of a Big Data framework for report generation. Developing a Big Data framework leveraging Scala and Apache Spark and designing and implementing a domain-specific language (DSL) to simplify the use of that framework.